Recognition of division algebras

Recognition of division algebras

An algorithm to construct a maximal order Λ in a finite-dimensional semisimple rational algebra A is presented. The discriminants of the simple components of Λ allow one to read off the Wedderburn structure of A. If A has uniformly distributed invariants, which is the case for centralizer algebras of representations of finite groups, then it suffices to do the calculation over the rational inte...

Triangulaizability of Algebras Over Division Rings

On normalizers of maximal subfields of division algebras

‎Here‎, ‎we investigate a conjecture posed by Amiri and Ariannejad claiming‎ ‎that if every maximal subfield of a division ring $D$ has trivial normalizer‎, ‎then $D$ is commutative‎. ‎Using Amitsur classification of‎ ‎finite subgroups of division rings‎, ‎it is essentially shown that if‎ ‎$D$ is finite dimensional over its center then it contains a maximal‎ ‎subfield with non-trivial normalize...

Subfields of division algebras

Let A be a finitely generated domain of GK dimension less than 3 over a field K and let Q(A) denote the quotient division algebra of A. Using the ideas of Smoktunowicz, we show that if D is a finitely generated division subalgebras of Q(A) of GK dimension at least 2, then Q(A) is finite dimensional as a left D-vector space. We use this to show that if A is a finitely generated domain of GK dime...

Correspondences between Valued Division Algebras and Graded Division Algebras

If D is a tame central division algebra over a Henselian valued field F , then the valuation on D yields an associated graded ring GD which is a graded division ring and is also central and graded simple over GF . After proving some properties of graded central simple algebras over a graded field (including a cohomological characterization of its graded Brauer group), it is proved that the map ...